Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền
1
Logic and Automata: History and Perspectives

Logic and Automata: History and Perspectives

Jorg Flum, Erich Gradel, Thomas Wilke
Năm:
2008
Ngôn ngữ:
english
File:
PDF, 4.27 MB
0 / 0
english, 2008
2
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Năm:
2011
Ngôn ngữ:
english
File:
PDF, 1.72 MB
0 / 0
english, 2011
3
Logic and automata: History and perspectives

Logic and automata: History and perspectives

Flum, Jörg, Grädel, Erich, Wilke, Thomas (eds.)
Năm:
2008
Ngôn ngữ:
english
File:
PDF, 3.86 MB
0 / 0
english, 2008
4
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Năm:
2011
Ngôn ngữ:
english
File:
PDF, 1.72 MB
0 / 0
english, 2011
6
Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Năm:
2007
Ngôn ngữ:
english
File:
PDF, 4.01 MB
0 / 0
english, 2007
7
Automata Logics, and Infinite Games: A Guide to Current Research

Automata Logics, and Infinite Games: A Guide to Current Research

Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Năm:
2002
Ngôn ngữ:
english
File:
PDF, 2.32 MB
0 / 0
english, 2002
8
The Classical Decision Problem

The Classical Decision Problem

Egon Börger, Erich Gradel, Yuri Gurevich
Năm:
1997
Ngôn ngữ:
english
File:
DJVU, 5.98 MB
0 / 0
english, 1997
9
Automata Logics, and Infinite Games: A Guide to Current Research

Automata Logics, and Infinite Games: A Guide to Current Research

Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Năm:
2002
Ngôn ngữ:
english
File:
PDF, 6.77 MB
0 / 0
english, 2002
10
The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon
Năm:
1997
Ngôn ngữ:
english
File:
DJVU, 4.69 MB
0 / 0
english, 1997